Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Format : Reports Collection : Pumalab (Isti Cnr - Consiglio Nazionale Delle Ricerche / National Research Council)

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Report

Research Ideas FMICS-AVoCS 2016

Authors : Ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander

Subjects: Formal Methods; Critical Systems; Automated Verification Techniques

Source: Research Ideas FMICS-AVoCS 2016 (ISTI-CNR, Pisa, Italy, 26-28 September 2016), Technical report, 2016.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

DL.org - Digital library technology and methodology cookbook: RFC version

Authors : Athanasopoulos, George; Candela, Leonardo; Castelli, Donatella

Subjects: Digital library systems interoperability - best practices; Building by re?use; info:eu-repo/classification/acm/H.3.7 Digital Libraries

Source: Coordination Action on Digital Library Interoperability, Best Practices & Modelling Foundations. Deliverable D3.3. Candela L. and Nardi A. (eds), 2010.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي